Sur la représentation de zéro par une somme de carrés dans un corps algébrique

Apports de la modélisation algébrique pour la représentation de connaissances par objets : illustration en AROM

AROM est un système de représentation de connaissances reposant, à l’image des diagrammes de classes d’UML, sur deux types d’entités de modélisation complémentaires : les classes et les associations. Il intègre un langage de modélisation algébrique (ou LMA) qui sert de support à différents mécanismes d’inférence. Ce langage permet l’écriture d’équations, de contraintes, et de requêtes, impliqua...

Conception Collective de scénarios pédagogiques dans un contexte de réingénierie : une approche par la métamodélisation située

Algorithme de recherche approximative dans un dictionnaire fondé sur une distance d'édition définie par blocs

We propose an algorithm for approximative dictionary lookup, where altered strings are matched against reference forms. The algorithm makes use of a divergence function between strings— broadly belonging to the family of edit distances; it finds dictionary entries whose distance to the search string is below a certain threshold. The divergence function is not the classical edit distance (DL dis...

Les Variétés Sur Le Corps À Un Élément

Une fantaisie récurrente de plusieurs mathématiciens ([22], [14], [19], [11], . . .) est l’existence d’un “corps à un élément”, noté F1, et d’une géométrie algébrique sur ce corps. On pense par exemple que le groupe des points de SLN dans F1 est le groupe symétrique des permutations de N lettres, et que ces N lettres sont les points dans F1 de l’espace projectif P N . Et l’on s’est aperçu depui...

Fondations axiomatiques d’une classe d’utilité espérée généralisée : l’utilité espérée algébrique

Dans ce papier, nous proposons deux axiomatisations de l’utilité espérée algébrique, qui est une utilité espérée généralisée, dans un cadre à la von Neumann-Morgenstern, i.e.la représentation de l’incertain est supposée connue et est ici décrite par une mesure de plausibilité valuée sur un semi-anneau (éventuellement partiellement) ordonné. Nous montrons que des axiomes identiques à ceux utilis...